大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Workshop on the Portability of Numerical Software 的图书(共3015本)

Computational Kinematics [electronic resource] : Proceedings of the 5th International Workshop on Computational Kinematics

0
索取号：
作者：Kecskem茅thy、 Andr茅s.、M眉ller、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Reliable Software Technologies-Ada-Europe 2009 [electronic resource] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

0
索取号：
作者：Kordon、 Fabrice.、Kermarrec、 Yvon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Methods for Web Services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Padovani、 Luca.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Enterprise Engineering III [electronic resource] : 5th International Workshop, CIAO! 2009, and 5th International Workshop, EOMAS 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings

0
索取号：
作者：Albani、 Antonia.、Barjis、 Joseph.、Dietz、 Jan L. G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Coding and Cryptology [electronic resource] : Second International Workshop, IWCC 2009, Zhangjiajie, China, June 1-5, 2009. Proceedings

0
索取号：
作者：Chee、 Yeow Meng.、Li、 Chao.、Ling、 San.、Wang、 Huaxiong.、Xing、 Chaoping.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Enterprise, Business-Process and Information Systems Modeling [electronic resource] : 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings

0
索取号：
作者：Halpin、 Terry.、Krogstie、 John.、Nurcan、 Selmin.、Proper、 Erik.、Schmidt、 Rainer.、Soffer、 Pnina.、Ukor、 Roland.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers

0
索取号：
作者：Berkling、 Kay.、Joseph、 Mathai.、Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings

0
索取号：
作者：Abrahamsson、 Pekka.、Marchesi、 Michele.、Maurer、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Network Economics for Next Generation Networks [electronic resource] : 6th International Workshop on Internet Charging and Qos Technologies, ICQT 2009, Aachen, Germany, May 11-15, 2009. Proceedings

0
索取号：
作者：Reichl、 Peter.、Stiller、 Burkhard.、Tuffin、 Bruno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Privacy, Security, and Trust in KDD [electronic resource] : Second ACM SIGKDD International Workshop, PinKDD 2008, Las Vegas, NV, USA, August 24, 2008, Revised Selected Papers

0
索取号：
作者：Bonchi、 Francesco.、Ferrari、 Elena.、Jiang、 Wei.、Malin、 Bradley.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Knowledge Acquisition: Approaches, Algorithms and Applications [electronic resource] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers

0
索取号：
作者：Richards、 Debbie.、Kang、 Byeong-Ho.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Hardware and Software: Verification and Testing [electronic resource] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

0
索取号：
作者：Chockler、 Hana.、Hu、 Alan J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Trustworthy Software Development Processes [electronic resource] : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings

0
索取号：
作者：Wang、 Qing.、Garousi、 Vahid.、Madachy、 Raymond.、Pfahl、 Dietmar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

0
索取号：
作者：Chaudron、 Michel R. V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Traffic Monitoring and Analysis [electronic resource] : First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedings

0
索取号：
作者：Papadopouli、 Maria.、Owezarski、 Philippe.、Pras、 Aiko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Numerical Validation in Current Hardware Architectures [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers

0
索取号：
作者：Cuyt、 Annie.、Kr盲mer、 Walter.、Luther、 Wolfram.、Markstein、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.